‘Hazy Cosmic Jive’: composing presence and absence in Moonage Daydream (2022)

McDonaldization in Iranian ELT Textbooks: Absence or Presence?

The development of materials for language teaching has been retraced from different perspectives. For example, some have identified influences of a social view on designing course books and compiling materials for language classes. The purpose of this article is to focus on the specific case of ELT material, its design and priorities in the context of Iran. This article also offers a detailed a...

What Will 2022 Look Like? The IEEE CS 2022 Report

Destruction of Amylopectin in the Presence and Absence of TiO2 Nanoparticles

Today, the use of natural polymers and their replacement with synthetic polymers in various fields of science has attracted much attention. Reducing the associated risks, easy access, and being cost-effective are among the advantages of using natural polymers compared to the synthetic polymers. In this research, the destruction of amylopectin in the presence and absence of titanium dioxide nano...

Jive Data and Store Model

This document presents the formalization of an object-oriented data and store model in Isabelle/HOL. This model is being used in the Java Interactive Verification Environment, Jive.

JIVE: Visualizing Java in Action

Dynamic software visualization should provide a programmer with insights as to what the program is doing. Most current dynamic visualizations either use program traces to show information about prior runs, slow the program down substantially, show only minimal information, or force the programmer to indicate when to turn visualizations on or off. We have developed a dynamic Java visualizer that...